Skip to content

chore(main): release 0.6.0 - #13

Merged
instax-dutta merged 2 commits into
mainfrom
release-please--branches--main
Aug 6, 2026
Merged

chore(main): release 0.6.0#13
instax-dutta merged 2 commits into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 6, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.6.0 (2026-08-06)

Features

  • add behavior-equivalence community verifier (uniq reimplementation) (f0be299)
  • add held-out-oracle community verifier (roman numeral converter) (bbef488)
  • add property-based community verifier (rpn calculator) (611d4c1)
  • check_verifiers verifies the adversarial path (bad-solution must fail) (e011562)

Documentation

  • summarize community verifiers in the examples gallery (7595129)

This PR was generated with Release Please. See documentation.

@github-actions
github-actions Bot force-pushed the release-please--branches--main branch 2 times, most recently from 47a193a to b6fa2f4 Compare August 6, 2026 12:30
@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from b6fa2f4 to 9b377a0 Compare August 6, 2026 12:51
@instax-dutta
instax-dutta merged commit 3ae12ba into main Aug 6, 2026
7 checks passed
@github-actions

github-actions Bot commented Aug 6, 2026

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

@instax-dutta
instax-dutta deleted the release-please--branches--main branch August 12, 2026 18:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant